HAT-P-17 — звезда, которая находится в созвездии Лебедя на расстоянии около 293 световых лет от нас. Вокруг звезды обращается, как минимум, две планеты.
P# — компилятор, обеспечивающий взаимодействие между надмножеством языка программирования Пролог для параллельных вычислений и языком программировния C#. P# компилирует расширение Пролога для работы с линейной логикой в исходный текст программы на C#.